Torsion models for tensor-triangulated categories: the one-step case

Given a suitable stable monoidal model category $\mathscr{C}$ and specialization closed subset $V$ of its Balmer spectrum one can produce Tate square for decomposing objects into the part supported over $V^c$ spliced with object. Using this show that is Quillen equivalent to built from data local torsion objects, splicing lies in rather rich category. As an application, we promote homotopy rational circle-equivariant spectra [18] equivalence. In addition, close analysis step case highlights important features needed general models which will return future work.